int main()
{
  // Does nothing ...
}
